#include <fcntl.h>
#include <ctype.h>
#include <unistd.h>
#include <stdio.h>
#include <string.h>
#include <time.h>
#include <stdlib.h>

#include "benchapi.h"
#include "tsc.h"
#include "util.h"

/*
   static int ht, ncpus;
    int tscmsec = 1000;
*/
int64_t tscsec = 1000000;
